Modular type checking of anchored exception declarations
نویسندگان
چکیده
منابع مشابه
Type-Checking Revisited: Modular Error-Handling
Static-semantics determines the validity of a program, while a type-checker provides more speciic type error information. Type-checkers are speciied based on the static semantics speciication, for the purpose of identifying and presenting type errors in invalid programs. We discuss a style of algebraically specifying the static semantics of a language which facilitates automatic generation of a...
متن کاملModular Exception Handling in Context-Aware Applications
Exception handling systems are designed to promote enhanced program modularization in the presence of faults, by supporting a well-defined lexical separation of normal and abnormal code. However, mobile applications seem to require specialized exception handling mechanisms due to their features of contextawareness and asynchronous communication. Hence this research investigates the impact of su...
متن کاملType-checking multi-methods in ML (A modular approach)
We propose a framework to des ribe type systems with type inferen e for ML-like languages. Our type systems are parameterized by the type algebras from whi h types are drawn. Type soundness is proved on e-and-for-all under minimal assumptions on the type algebra. Observing that ML types form a type algebra, we propose a de idable type system for a language a la ML with type inferen e and polymo...
متن کاملDistributed Modular Model Checking
Model checking is a formal method that veri es whether a nite state model of a system satis es a speci cation gi v enas a temporal logic formula. The most severe problem model checking suffer from is the so called state explosion problem. Distribution is one of the techniques that combat the state explosion. The aim is to distribute the state space among a number of computers so as to be able t...
متن کاملThread-Modular Model Checking
We present thread-modular model checking, a novel technique for verifying correctness properties of loosely-coupled multithreaded software systems. Thread-modular model checking verifies each thread separately using an automatically inferred environment assumption that abstracts the possible steps of other threads. Separate verification of each thread yields significant space and time savings. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science of Computer Programming
سال: 2014
ISSN: 0167-6423
DOI: 10.1016/j.scico.2013.10.007